Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...
Continue readingThis easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
Continue readingThis book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Continue readingThis book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...
Continue readingThe volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
Continue readingThe 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
Continue readingThe 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
Continue readingThe papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
Continue readingMultiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...
Continue readingThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue readingThis book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Continue readingThis book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Continue readingAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue readingThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Continue readingThis book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Continue reading